Correctness of linear logic proof structures is NL-completeJACOBE DE NAUROIS, Paulin; MOGBIL, Virgile.Theoretical computer science. 2011, Vol 412, Num 20, pp 1941-1957, issn 0304-3975, 17 p.Article

On linear logic planning and concurrencyKAHRAMANOGULLARI, Ozan.Information and computation (Print). 2009, Vol 207, Num 11, pp 1229-1258, issn 0890-5401, 30 p.Conference Paper

The differential λμ-calculusVAUX, Lionel.Theoretical computer science. 2007, Vol 379, Num 1-2, pp 166-209, issn 0304-3975, 44 p.Article

Linear and affine logics with temporal, spatial and epistemic operatorsKAMIDE, Norihiro.Theoretical computer science. 2006, Vol 353, Num 1-3, pp 165-207, issn 0304-3975, 43 p.Article

A categorical model for the geometry of interactionHAGHVERDI, Esfandiar; SCOTT, Philip.Theoretical computer science. 2006, Vol 350, Num 2-3, pp 252-274, issn 0304-3975, 23 p.Conference Paper

Musings around the geometry of interaction, and coherenceGOUBAULT-LARRECQ, Jean.Theoretical computer science. 2011, Vol 412, Num 20, pp 1998-2014, issn 0304-3975, 17 p.Article

Strong normalization property for second order linear logicPAGANI, Michele; TORTORA DE FALCO, Lorenzo.Theoretical computer science. 2010, Vol 411, Num 2, pp 410-444, issn 0304-3975, 35 p.Article

Syntax vs. semantics : A polarized approachLAURENT, Olivier.Theoretical computer science. 2005, Vol 343, Num 1-2, pp 177-206, issn 0304-3975, 30 p.Article

Intuitionistic differential nets and lambda-calculusTRANQUILLI, Paolo.Theoretical computer science. 2011, Vol 412, Num 20, pp 1979-1997, issn 0304-3975, 19 p.Article

Differential interaction netsEHRHARD, T; REGNIER, L.Theoretical computer science. 2006, Vol 364, Num 2, pp 166-195, issn 0304-3975, 30 p.Conference Paper

Resource operators for λ-calculusKESNER, Delia; LENGRAND, Stéphane.Information and computation (Print). 2007, Vol 205, Num 4, pp 419-473, issn 0890-5401, 55 p.Conference Paper

On decidability of LTL model checking for process rewrite systemsBOZZELLI, Laura; KRETINKY, Mojmir; REHAK, Vojtech et al.Acta informatica. 2009, Vol 46, Num 1, pp 1-28, issn 0001-5903, 28 p.Article

From falsification to verificationPELED, Doron; PNUELI, Amir; ZUCK, Lenore et al.Lecture notes in computer science. 2001, pp 292-304, issn 0302-9743, isbn 3-540-43002-4Conference Paper

LOGIQUES LINÉAIRES HYBRIDES ET LEURS MODALITÉS : THÉORIES ET APPLICATIONS = HYBRID LINEAR LOGICS AND THEIR MODALITIES : THEORY AND APLICATIONSDemaille, Akim; Bellot, Patrick.1999, 175 p.Thesis

Linear temporal logic and finite semigroupsWILKE, Thomas.Lecture notes in computer science. 2001, pp 96-110, issn 0302-9743, isbn 3-540-42496-2Conference Paper

Autonomous posets and quantalesMASCARI, G. F; PUCCI, F.Informatique théorique et applications (Imprimé). 1993, Vol 27, Num 6, pp 483-501, issn 0988-3754Article

Coping polynomially with numerous but identical elements within planning problemsKANOVICH, Max; VAUZEILLES, Jacqueline.Lecture notes in computer science. 2003, pp 285-298, issn 0302-9743, isbn 3-540-40801-0, 14 p.Conference Paper

Why so many temporal logics climb up the trees?RABINOVICH, A; MAOZ, S.Lecture notes in computer science. 2000, pp 629-639, issn 0302-9743, isbn 3-540-67901-4Conference Paper

Interpreting a finitary pi-calculus in differential interaction netsEHRHARD, Thomas; LAURENT, Olivier.Information and computation (Print). 2010, Vol 208, Num 6, pp 606-633, issn 0890-5401, 28 p.Article

Linear logic as a tool for planning under temporal uncertaintyKANOVICH, Max; VAUZEILLES, Jacqueline.Theoretical computer science. 2011, Vol 412, Num 20, pp 2072-2092, issn 0304-3975, 21 p.Article

Realizability models and implicit complexityDAL LAGO, Ugo; HOFMANN, Martin.Theoretical computer science. 2011, Vol 412, Num 20, pp 2029-2047, issn 0304-3975, 19 p.Article

La logique linéaireGIRARD, J.-Y.Pour la science. 1990, Num 150, pp 74-85, issn 0153-4092, 9 figArticle

A non-commutative extension of MELLGUGLIELMI, Alessio; STRASSBURGER, Lutz.Lecture notes in computer science. 2002, pp 231-246, issn 0302-9743, isbn 3-540-00010-0, 16 p.Conference Paper

Typed GoI for ExponentialsHAGHVERDI, Esfandiar.Lecture notes in computer science. 2006, pp 384-395, issn 0302-9743, isbn 3-540-35904-4, 12 p.Conference Paper

The graphical Krivine machineLIPPI, Sylvain.Higher-order and symbolic computation. 2007, Vol 20, Num 3, pp 295-318, issn 1388-3690, 24 p.Article